基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

PowerPoint口译的应对策略

作为一种补充性的视觉输入，PowerPoint能够辅助译员的口译工作；然而，多任务的Power-Point口译又可能对译员的临场应变产生干扰。鉴于目前口译研究和教学很少涉及PowerPoint口译，文章结合案例，针对PowerPoint在口译中的干扰和辅助作用，对译员事前准备及现场应变策略作一定的补充。     

与年龄相关的非线性时变种群系统的L2(Q)-解

本文讨论与年龄相关的非线性时变种群系统（P）的l^2（Q）－解，为进一步研究种群系统的最优控制问题提供了必要的理论基础．     

2006年秋末一次连续性降雪天气过程诊断分析

对连续性降雪过程进行了综合分析,提出了该类降雪过程的预报着眼点。     

浅谈大学生择业与职业生涯规划

阐述了职业生活和大学生职业生涯规划的重要性,论述了择业方式对大学生择业的影响,分析了大学生择业价值取向的特点。     

NaH分子基态(X1∑+)的分子结构与势能函数

用量子化学计算方法与基组CCSD(T)/6-311 G(3DF,2PD)、QCISD(T)/6-311 G(3DF,2P)、QCISD(T)/aug-cc-pvtz和CCSD(T)/cc-pvtz,优化计算了NaH分子基态的平衡结构和离解能,得到的平衡核间距与实验值基本吻合。采用Murrell-Sorbie函数的修正式进行非线性最小二乘法拟合,得到了NaH分子势能函数的解析表达式,并进一步计算出NaH分子的力常数及光谱常数;计算结果与实验数据非常吻合。     

贵州省中草药病虫害的现状与防治对策

经过对贵州省中草药病虫害发生与危害调查，26种栽培面积较大的品种共发现害虫47种，病原菌52种，结果表明：白术病毒病、长管蚜，太子参叶斑病，吴茱萸褐天牛，天麻细胸金针虫为近年主要流行病虫害，而农药残留、重金属、亚硝酸盐等有害物质含量的偏高，也严重影响中草药品质，因此防治上在建立完善的植物检疫制度、病虫草害预测预报的同时，加强田间管理，提倡生物防治、物理机械防治、化学防治等有效方法的结合。     

我国检察民事公诉:问题与前瞻

检察民事公诉是指针对部分涉及国家利益和社会公共利益等方面的民事案件而由检察机关代表国家提起的诉讼。该制度已被世界许多国家民事诉讼制度所吸纳。在我国，由于危害公共利益的社会公害层出不穷，同时亦基于检察机关自身的性质，建立检察机关民事公诉制度已势在必行。我国现行立法在检察民事公诉方面存在严重局限，因此，探讨检察机关在民事公诉中的法律地位及其参与民事公诉的方式和范围将有着重大的现实意义。     

小麦新品种对比试验研究

在山西省祁县某村石灰性褐土上进行了8个小麦品种试验。试验结果表明：轮选987具有分蘖力强，生育期略长，株高稍矮，穗大粒多，千粒重高等综合特点，经济产量超过511kg，是8个品种中经济效益最高的。其次是晋太19、晋太65、晋太69等晋太系列。穗大粒重，产量显著高于对照，这4个新品种可以作为该县今后小麦生产品种更换的后备品种。     

从Banzhaf指数看国有股减持

文章分析了我国股权结构现状、Banzhaf指数和股权结构间的关系.从Banzhaf指数角度出发,举例说明了几种常用的减持方式的异同.